Có hai phần chính của logic bậc nhất. Cú pháp xác định chuỗi ký tự hữu hạn nào là biểu thức hợp pháp trong logic bậc nhất, trong khi ngữ nghĩa xác định ý nghĩa đằng sau các biểu thức này.

Bảng chữ cái

Các ký hiệu logic

• Các lượng từ ∀ và ∃
• Các phép nối logic
• Dấu ngoặc đơn, ngoặc nhọn và các ký hiệu chấm câu khác.
• Một tập hợp vô hạn các biến, thường được biểu thị bằng các chữ cái viết thường ở cuối bảng chữ cái x, y, z,.... Các chỉ số thường được sử dụng để phân biệt các biến: x0, x1, x2,... .
• Một ký hiệu đẳng thức =

Các ký hiệu khác